1. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem

رده :
QA
9
.
65
.
M68

2. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem

رده :
BC
135
.
M6